- процедура ветвления
- branching procedure мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
Хранимая процедура — Хранимая процедура объект базы данных, представляющий собой набор SQL инструкций, который компилируется один раз и хранится на сервере. Хранимые процедуры очень похожи на обыкновенные процедуры языков высокого уровня, у них могут быть… … Википедия
Метод ветвей и границ — (англ. branch and bound) общий алгоритмический метод для нахождения оптимальных решений различных задач оптимизации, особенно дискретной и комбинаторной оптимизации. По существу, метод является вариацией полного перебора с отсевом… … Википедия
Суффиксное дерево — Суффиксное дерево бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры … Википедия
Дерево суффиксов — Суффиксное дерево способ организации данных (строк), позволяющий выяснять, входит ли строка w в строку t, за время O(|w|), где |w| длина строки w. Содержание 1 Основные определения и описание структуры 2 Свойства суффиксных д … Википедия
ГОСТ Р 53431-2009: Автоматика и телемеханика железнодорожная. Термины и определения — Терминология ГОСТ Р 53431 2009: Автоматика и телемеханика железнодорожная. Термины и определения оригинал документа: 152 аварийный перевод стрелки: Изменение положения железнодорожной стрелки физическими усилиями человека путем вращения двигателя … Словарь-справочник терминов нормативно-технической документации
ГОСТ 28397-89: Языки программирования. Термины и определения — Терминология ГОСТ 28397 89: Языки программирования. Термины и определения оригинал документа: 38. Автоматическое распределение памяти Automatic storage allocation Выделение памяти при входе в программный блок для локальных переменных и ее… … Словарь-справочник терминов нормативно-технической документации
Кори, Герти Тереза — В Википедии есть статьи о других людях с такой фамилией, см. Кори. Герти Тереза Кори англ. Gerty Theresa Cori … Википедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
Функциональный анализ (математ.) — Функциональный анализ, часть современной математики, главной задачей которой является изучение бесконечномерных пространств и их отображений. Наиболее изучены линейные пространства и линейные отображения. Для Ф. а. характерно сочетание методов… … Большая советская энциклопедия
Функциональный анализ — I Функциональный анализ часть современной математики, главной задачей которой является изучение бесконечномерных пространств и их отображений. Наиболее изучены линейные пространства и линейные отображения. Для Ф. а. характерно сочетание… … Большая советская энциклопедия
Tcl — Запрос «TCL» перенаправляется сюда; о минидистрибутиве Linux см. Tiny Core Linux. Tcl Семантика: императивный … Википедия